منابع مشابه
Proving a disjunctive rule
This article may be used for research, teaching, and private study purposes. Any substantial or systematic reproduction, redistribution, reselling, loan, sub-licensing, systematic supply, or distribution in any form to anyone is expressly forbidden. The publisher does not give any warranty express or implied or make any representation that the contents will be complete or accurate or up to date...
متن کاملA Novel Justification of the Disjunctive Combination Rule
In this paper, a novel justification of the disjunctive combination rule for multiple independent sources of information based on the redefined combination-mapping rule of multiple multi-valued mappings in the product space of multiple independent sources of information is being proposed. The combination rule reveals a type of logical inference in the human judgment, that is, the OR rule. It ov...
متن کاملA Comparative Study on Presumption of Marriage Rule and Genetic Testing for Proving Parentage Under Iranian Law
Family is the most important social group, and the survival of society depends on the survival of the family and its survival depends on legitimate parentage and legal ties. Therefore, the issue of proving the parentage is one of the most sensitive issues in the Islamic law and the legislator has tried to preserve it by enacting laws. From the beginning of Islam until now, in Imami jurisprudenc...
متن کاملAdding the Inference Rule Disjunctive Syllogism to Relevant Logics
In order to avoid trivial consequences, the derivability relation of relevant logics (RL) does not support the inference rule disjunctive syllogism (DS). In this paper, I will show that the inference rule DS can be added to this derivability relation in a way that doesn’t lead to trivial or irrelevant consequences. To do so, I will rely on the insights gained from the study of inconsistency–ada...
متن کاملDisjunctive logic programs with existential quantification in rule heads
We consider disjunctive logic programs without function symbols but with existential quantification in rule heads, under the semantics of general stable models. There are at least two interesting prospects in these programs. The first is that a program can be made more succinct by using existential variables, and the second is on the potential in representing defeasible ontological knowledge by...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Quarterly Journal of Experimental Psychology
سال: 1969
ISSN: 0033-555X
DOI: 10.1080/14640746908400189